#include "interrupt.h"
#include "gpio.h"

void hal_exti_IT_init(unsigned int pins, gpio_exti_t exti,
		exti_trigger_t trigger, input_event_t event)
{
    
}